From 6a16bea0d24cf6647b6d5c17b4dac183e1c59459 Mon Sep 17 00:00:00 2001
From: Bryan Tong Minh <btongminh@users.mediawiki.org>
Date: Mon, 11 Jul 2011 18:38:26 +0000
Subject: [PATCH] Follow-up r91895: Call parent destructor as well, just to be
 safe.

---
 tests/phpunit/includes/UserTest.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/phpunit/includes/UserTest.php b/tests/phpunit/includes/UserTest.php
index 53ef24dc11..df91aca897 100644
--- a/tests/phpunit/includes/UserTest.php
+++ b/tests/phpunit/includes/UserTest.php
@@ -29,6 +29,8 @@ class UserTest extends MediaWikiTestCase {
 		);
 	}
 	public function tearDown() {
+		parent::tearDown();
+		
 		$GLOBALS['wgGroupPermissions'] = $this->savedGroupPermissions;
 		$GLOBALS['wgRevokePermissions'] = $this->savedRevokedPermissions;
 	}
-- 
2.20.1